Add a --version command line option

https://bugzilla.gnome.org/show_bug.cgi?id=613164

diff --git a/src/Makefile.am b/src/Makefile.am
index 3d421a82680ae2e3565b86e565240eddc795f382..4fa20a9d367b15d78e0ad83e1d51082e9a61625f 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -18,6 +18,7 @@ gnome-shell: gnome-shell.in
            -e "s|@libdir[@]|$(libdir)|" \
            -e "s|@pkgdatadir[@]|$(pkgdatadir)|" \
            -e "s|@PYTHON[@]|$(PYTHON)|" \
+           -e "s|@VERSION[@]|$(VERSION)|" \
            -e "s|@sysconfdir[@]|$(sysconfdir)|" \
            $< > $@ && chmod a+x $@
 CLEANFILES += gnome-shell

diff --git a/src/gnome-shell.in b/src/gnome-shell.in
index 36548c58208b5ac7f506e34b07539d275d24ac2c..60a970a7386b000234e7aa801a784962d40f2f8b 100644 (file)
--- a/src/gnome-shell.in
+++ b/src/gnome-shell.in
@@ -14,6 +14,10 @@ import termios
 import time
 import errno
 
+def show_version(option, opt_str, value, parser):
+    print "GNOME Shell @VERSION@"
+    sys.exit()
+
 def get_running_session_environs():
     wanted_environment = ['DBUS_SESSION_BUS_ADDRESS', 'DISPLAY', 'XDG_DATA_DIRS',
                           'XAUTHORITY', 'XDG_SESSION_COOKIE', 'ORBIT_SOCKETDIR',
@@ -258,6 +262,8 @@ parser.add_option("", "--eval-file", metavar="EVAL_FILE",
                   help="Evaluate the contents of the given JavaScript file")
 parser.add_option("", "--create-extension", action="store_true",
                   help="Create a new GNOME Shell extension")
+parser.add_option("", "--version", action="callback", callback=show_version,
+                  help="Display version and exit")
 
 options, args = parser.parse_args()